On-Board Guarded Software Upgrading for Space Missions

نویسندگان

  • Ann T. Tai
  • Kam S. Tso
  • Leon Alkalai
  • Savio N. Chau
  • William H. Sanders
چکیده

The evolvable avionics systems such as the X2000 at NASA/JPL are able to have software upgrades during a long-life mission for dependability, performance and functionality improvement (we call it “on-board software upgrade”) [1]. While evolvability itself can be viewed as on-board perfective maintenance, it necessitates preventive maintenance and corrective maintenance for eliminating or mitigating potential error conditions caused by residual faults in an upgraded system configuration or software version, and tolerating possible inconsistencies between the old and new configurations/versions. We collectively view the three types of mechanisms as on-board maintenance and have been investigating into the development and implementation issues [1, 2]. To date, on-board software upgrade still requires to reboot the entire flight software for terminating the old version and starting the new one. In the Mars Pathfinder mission, it took two hours to complete the patch process for two small changes (in the flight software) made as a result of Operational Readiness Test, during which the normal functions of the flight computer was stopped [3]. The cost of the unavailability is apparently unacceptable for the future NASA missions. Other types of deficiency in software upgrading may even cause more severe damages to a mission. For example, NASA experienced a gap in fault protection on April 10, 1981, when a timely synchronization check was omitted after the addition of an alternate reentry program [4]. As a result, the first flight of the US space shuttle program was aborted 19 minutes

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the effectiveness of a message-driven confidence-driven protocol for guarded software upgrading

A methodology called “guarded software upgrading” (GSU) is proposed to accomplish dependable onboard evolution for long-life deep-space missions. The core of the methodology is a low-cost error containment and recovery protocol that escorts an upgraded software component through onboard validation and guarded operation, mitigating the effect of residual faults in the upgraded component. The mes...

متن کامل

Low-Cost Error Containment and Recovery for Onboard Guarded Software Upgrading and Beyond

ÐMessage-driven confidence-driven (MDCD) error containment and recovery, a low-cost approach to mitigating the effect of software design faults in distributed embedded systems, is developed for onboard guarded software upgrading for deep-space missions. In this paper, we first describe and verify the MDCD algorithms in which we introduce the notion of ªconfidence-drivenº to complement the ªcomm...

متن کامل

Onboard Guarded Software Upgrading: Motivation and Framework

The goal of the guarded software upgrading (GSU) framework is to minimize mission performance loss due to onboard software upgrading activities and that due to system failure caused by residual faults in an upgraded version. We exploit inherent system resource redundancies as the means of fault tolerance to meet the development cost and onboard resource constraints. Furthermore, we devise a mes...

متن کامل

On Effectiveness of a Message-Driven Confidence-Driven Protocol for Guarded Software Upgrading*

In order to accomplish dependable onboard evolution, we develop a methodology which is called guarded software upgrading (GSU). The core of the methodology is a low-cost error containment and recovery protocol that escorts an upgraded software component through onboard validation and guarded operation, safeguarding mission functions. The message-driven confidence-driven (MDCD) nature of the pro...

متن کامل

A Component-oriented Framework for Spacecraft On-board Software

This paper presents our vision for architecture and development of spacecraft on-board software composed of well-defined building blocks called software components. This vision is derived from our work in the DisCo and COrDeT studies funded by ESA and fits within the on-board software harmonisation carried out by ESA. The paper is focused on software architecture and corresponding engineering p...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999